SpecC Language Reference Manual
نویسندگان
چکیده
The SpecC Language Reference Manual defines the syntax and the semantics of the SpecC language. The SpecC language is defined as extension of the ANSI-C programming language. This document describes the SpecC constructs that were added to the ANSI-C language. For each SpecC construct, its purpose, its syntax, and its semantics are defined. In addition, each SpecC construct is illustrated by an example. In the Appendix, the full SpecC grammar is included by use of an Extended Backus-Naur-Form (EBNF) notation.
منابع مشابه
The Formal Execution Semantics of Spec
We present a rigorous but transparent semantics definition of the SpecC language that covers the execution of SpecC behaviors and their interaction with the kernel process. The semantics include w a i t , waitfor, par, and t r y statements as they are introduced in SpecC. We present our definition in form of distributed Abstract State Machine (ASM) rules strictly following the lines of the Spec...
متن کاملThe Formal Simulation Semantics of SystemVerilog
We present a rigorous but transparent semantics definition of SystemVerilog that covers processes with blocking and non-blocking statements as well as their interaction with the simulation scheduler including the management of new SystemVerilog regions. We present our definition in form of distributed Abstract State Machines (ASMs) rules reflecting the view given in the SystemVerilog Language R...
متن کاملThe SpecC System - Level Design Language and Methodology , Part 1 Class 309
A well-defined design methodology supported by a system-level design language (SLDL) is the key for managing the complexity of the design flow, especially at the system level. Only with well-defined and unambiguous models and transformations can we achieve productivity gains through synthesis, verification and tool interoperability. This paper presents the SpecC system design language. After a ...
متن کاملAn Isomorphic Mapping for SpecC In UML
An isomorphic UML mapping of SpecC syntax and its semantic preserving transformation is presented. SpecC is one of several competing efforts to deal with the system-level specification and design of embedded systems, and for which we have formalized UML mappings, into what is collectively known as YES-UML. YES-UML is a broadspectrum notation built as a series of extensions to UML to support exi...
متن کاملIntroduction of design-oriented profiler of SpecC language
To start design from higher levels of abstraction and to make an architecture exploration decision at the early stage of design, designers must achieve the characteristics of specification on the higher levels of abstraction. Designers should also estimate the system performance at the higher levels of abstraction to ensure that the implemented system meets design constraints. In this report, S...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2001